Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
401	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
402	Banach algebras Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:17:06 Spectral theory Spectrum Banach algebra Holomorphic functional calculus Holomorph Banach space Gelfand–Mazur theorem Lambda calculus Compact operator Mathematical analysis Mathematics Abstract algebra
403	Object Calculi with Dynamic Messages Michele Bugliesi∗ Dip. di Informatica Universit` a “Ca’ Foscari” di Venezia Via Torino 155, IMestre (VE), Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:06:13 Computer programming Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system System F Foreach loop Software engineering Computing Type theory
404	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
405	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
406	Fun tional Polytypi Programming Patrik Jansson Department of Computing S ien e Chalmers University of Te hnology and G oteborg University Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-09-06 04:14:31 Software engineering Lambda calculus Haskell Q Rewriting Theoretical computer science Functional languages Programming language theory
407	Under consideration for publication in J. Functional Programming 1 The Arrow Calculus Sam Lindley, Philip Wadler, and Jeremy Yallop Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2009-10-19 06:42:21 Lambda calculus Computability theory Fixed-point combinator Arrow Quiver Natural deduction Combinatory logic Theoretical computer science Mathematics Applied mathematics
408	Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Computability theory Theory of computation Lambda calculus Mathematical logic Church–Turing thesis Entscheidungsproblem Halting problem System F Computability Mathematics Theoretical computer science Computer science
409	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
410	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:16 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming

UPDATE